Software engineering - PDFSEARCH.IO - Document Search Engine

Software engineering
Results: 57508

#	Item
781	TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-05-06 07:44:21 Software engineering Theoretical computer science Automated theorem proving Mathematics Logic in computer science Functional languages Formal methods Reasoning Satisfiability modulo theories Rippling Automated reasoning IP
782	Ruby and OOP for the Old-Time C Programmer ! ! They say the first program in any language is the same: ! Add to Reading List Source URL: rubyhacker.com Language: English - Date: 2015-07-24 14:20:10 Software engineering Computer programming Computing Object-oriented programming languages Data types Object Search algorithms Ruby Foreach loop Immutable object Hash function Iterator
783	Hungry? California farmers and ranchers grow the food we eat every day. See if you can fill the puzzle with examples. What are your favorites? ACROSS Add to Reading List Source URL: www.californiabountiful.com Language: English - Date: 2016-07-01 17:33:36 Obfuscation Computer programming Index of Abkhazia-related articles Software engineering Toledo Nanochess
784	Speaker Excellence Awards – 2007 Annual Conference & Expo Gold Medal Sessions Al Barsa, Jr. • Everything You Always Wanted to Know about System Values Larry Bolhuis • Pimp My i, Extreme System i Engineering Add to Reading List Source URL: www.common.org Language: English - Date: 2016-07-26 12:30:41 Computing Power Architecture AS/400 Software Computer architecture Server hardware IBM RPG IBM System i Cgidev2 Command shells Jon Paris I5
785	SOA led transformation in the Global Delivery Model Add to Reading List Source URL: www2006.wwwconference.org Language: English - Date: 2006-06-16 16:38:04 Computing Enterprise application integration Web services Architectural pattern Service-oriented architecture Dabbawala Global delivery model Traceability Information technology Software engineering
786	UNIVERSITY OF SOUTH AUSTRALIA Modelling, Analysis and Prototyping of the ODP Trader using Coloured Petri Nets and Java ANDREW A. TOKMAKOFF Add to Reading List Source URL: www.itr.unisa.edu.au Language: English - Date: 1999-01-26 18:27:05 Economy Software engineering Finance Financial markets Concurrency Diagrams Models of computation Petri nets RM-ODP Option Iterator Trader
787	Q1. (i) What are the two fundamental types or parallelism ? (ii) What are the categories into which parallel computers are divided according to Flynn’s taxonomy ? Ans (i) Data and task parallelism Ans. (ii) Single Inst Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-11-13 04:58:55 Computer programming Software engineering Computing Parallel computing OpenMP Infinite loop Printf format string ALGOL 68 Data parallelism Message Passing Interface
788	A Guide to the GAMS-input-file Add to Reading List Source URL: www.rri.wvu.edu Language: English - Date: 2009-06-16 17:13:48 Software engineering Programming language theory ALGOL 68 Vehicle identification number Computing
789	AndroWish – 963 days later or the Good, the Bad, and Add to Reading List Source URL: www.eurotcl.tcl3d.org Language: English - Date: 2016-06-27 15:49:32 Computing Software engineering Computer programming Graphics file formats Image compression Computer file formats JPEG Tcl Borg Webcam Tk Camera
790	2 ῌ ῌ Add to Reading List Source URL: www.kusastro.kyoto-u.ac.jp Language: English - Date: 2006-03-13 01:17:07 Obfuscation Computer programming Index of Abkhazia-related articles Software engineering Toledo Nanochess

UPDATE